A Distributed Norm Compliance Model
نویسندگان
چکیده
Norms can be used in the scope of distributed computational systems to provide reliable contexts of interaction between parties where acceptable behaviour is specified in terms of regulations or guidelines. These have been explored in various formalisations, and many are the theoretical frameworks that allow to implement and operationalise them. However, when applying these frameworks to complex, heterogeneous scenarios with multiple agents involved, the performance of norm compliance systems may suffer due to bottlenecks, not only in the number of events received, but also on the number and the complexity of the norms being verified. In this paper we present a formal method to distribute norms through a distributed normative monitoring system, based on production systems for maximum efficiency, and a grounding on Strongly Connected Components.
منابع مشابه
A Norm-Based Probabilistic Decision-Making Model for Autonomic Traffic Networks
We propose a norm-based agent-oriented model of decision-making of semi-autonomous vehicles in urban traffic scenarios. Computational norms are used to represent the driving rules and conventions that influence the distributed decisionmaking process of the vehicles. As norms restrict the admissible behaviour of the agents, we propose to represent them as constraints, and we express the agents’ ...
متن کاملA Norms-Based Probabilistic Decision-Making Model for Autonomic Traffic Networks
We propose a norms-based agent-oriented model of decision-making of semi-autonomous vehicles in urban traffic scenarios. Computational norms are used to represent the driving rules and conventions that influence the distributed decision-making process of the vehicles. As norms restrict admissible behaviour of the agents, we propose to represent them as constraints, and we express the agents’ in...
متن کاملReasoning under compliance assumptions in normative multiagent systems
The use of norms in multiagent systems has proven to be a successful approach in order to coordinate and regulate the behaviour of participating agents. In such normative systems it is generally assumed that agents can obey or disobey norms. In this paper, we develop a logical framework for normative systems that allows reasoning about agents’ abilities under a multitude of norm compliance assu...
متن کاملNORMC: a Norm Compliance Temporal Logic Model Checker
We describe NORMC, a model checker for Norm Compliance CTL, a temporal logic for reasoning about compliance in normative systems, implemented in the Haskell programming language. NORMC is intended as a tool for students, researchers, and practitioners to learn about and understand normative systems, and as an exploratory tool for researchers in multi-agent systems. The objectives of the paper a...
متن کاملSocial Norms and Conditional Cooperative Taxpayers
This paper incorporates tax morale into the Allingham Sandmo (1972) model of income tax evasion. Tax morale is interpreted as a social norm for tax compliance. The norm strength, depending on the share of evaders in the society, is endogenously derived. Taxpayers act conditionally cooperative, as their evasion decision depends on the other agents’ compliance. We characterize an equilibrium whic...
متن کامل